COMMENT ⊗   VALID 00007 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%aiedi.1[s90,jmc]		Handout for AI and EDI videotape
C00003 00003	\centerline{COMMON BUSINESS COMMUNICATION LANGUAGE (CBCL)}
C00004 00004	\centerline{ELEPHANT}
C00006 00005	\centerline{NONMONOTONIC REASONING}
C00007 00006	\centerline{REFERENCES}
C00008 00007	\smallskip\centerline{Copyright \copyright\ 1990\ by John McCarthy}
C00009 ENDMK
C⊗;
%aiedi.1[s90,jmc]		Handout for AI and EDI videotape

%bulleted item
\def\itemb{\item{$\bullet$}}\def\itemx{\par\hang\indent\ignorespaces}
\input memo.tex[let,jmc]
\title{HANDOUT FOR AI AND ELECTRONIC DATA INTERCHANGE LECTURE}

	This handout is intended to accompany the videotape of
my videotape lecture of 1990 June 14 to the Stanford AI Day
meeting.
\vfill\eject
\centerline{COMMON BUSINESS COMMUNICATION LANGUAGE (CBCL)}
\bigskip
\noindent Features of CBCL
\bigskip
\itemb Communication allowed without pre-arrangement,
e.g. by dial-up telephone.

\itemb Authentication of communicators

\itemb Verification of authority to make commitments

\itemb General business communication

\itemb Messages not understood are translated to
human readable form.

\itemb Smooth elaboration and replacement of message forms

\itemb Messages have LISP-like structure

\itemb Chomsky principle.  Syntax never demands an atom.
\vfill\eject
\centerline{ELEPHANT}

\hfill\break 1. Communication inputs and outputs are in an I-O
language whose sentences are meaningful speech acts approximately
in the sense of philosophers and linguists.  These include
questions, answers, offers, acceptances, declinations, requests,
permissions and promises.

\hfill\break 2. The correctness of programs is partially defined in
terms of proper performance of the speech acts.  Answers should
be truthful and responsive, and promises should be kept.  Sentences of logic expressing
these forms of correctness can be generated automatically
from the form of the program.

\hfill\break 5. Elephant programs that interact non-trivially with
the outside world can have both {\it illocutionary} and {\it perlocutionary}
specifications, i.e. behavioral specifications relating inputs and outputs,
and specifications concerning what they accomplish in the world.

\itemb Illocutionary specification: It outputs ``cleared to land''
only when it perceives the previous airplane as having cleared
the runway.

\itemb Perlocutionary specification: It informs an airplane
``cleared to land'' only when the previous airplane has cleared
the runway.
\vfill\eject
\centerline{NONMONOTONIC REASONING}
\bigskip
\itemb Nonomonotonic CBCL convention---The billing address is
the same as the delivery address unless there is reason to believe
otherwise.

\itemb Reference: (Ginsberg 1987)
\vfill\eject
\centerline{REFERENCES}
\bigskip
\noindent
{\bf Ginsberg, M. (ed.) (1987)}: {\it Readings in Nonmonotonic Reasoning},
Morgan-Kaufmann, 481 p.

\noindent {\bf McCarthy, John (1982)}: ``Common Business Communication Language'', in
{\it Textverarbeitung und B\"urosysteme}, Albert Endres and J\"urgen Reetz, eds.
R. Oldenbourg Verlag, Munich and Vienna 1982.
To appear in (McCarthy 1990) promised for 1990 July.

\noindent{\bf McCarthy, John (1990)}:
{\it Formalizing Common Sense},
Ablex,

\noindent{\bf McCarthy, John (199x)}:
``Elephant 2000: A Programming Language Based on Speech Acts'',
to be published when finished.
\smallskip\centerline{Copyright \copyright\ 1990\ by John McCarthy}
\smallskip\noindent{\fiverm This draft of AIEDI.1[S90,JMC]\ TEXed on \jmcdate\ at \theTime}
%File originated on 13-Jun-90
\vfill\eject\end